Formal Specification of Active Database Functionality: A Survey
نویسندگان
چکیده
This paper reviews research on the formal speciication of active behaviour, indicating both what has been done in this area, and how. The scope of diierent approaches is compared within a common framework, which reveals that although many aspects of active behaviour have been described formally, no single proposal covers all phenomena associated with active database systems.
منابع مشابه
Formal Speci cation Of Active Database Functionality: A Survey
This paper reviews research on the formal speciication of active behaviour, indicating both what has been done in this area, and how. The scope of diierent approaches is compared within a common framework, which reveals that although many aspects of active behaviour have been described formally, no single proposal covers all phenomena associated with active database systems.
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملTowards Requirements Engineering of Active Database Systems
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. In this paper, starting from the assumption that activity is an important notion not only for database systems, but also for capturing semantics in the Requirements Analysis and Specification field, we present a model o...
متن کاملBridging the Gap Between COTS Product Reuse and Formal Methods: A Case Study
Reusable commercial off-the-shelf (COTS) products are routinely employed in development of software systems. However, no systematic techniques are available for specification or verification of critical aspects of such systems. This paper explains that the dependencies between a critical subsystem and a COTS product can be isolated through formally-stated mathematical and programmatic interface...
متن کاملFeatherweight Firefox: Formalizing the Core of a Web Browser
We offer a formal specification of the core functionality of a web browser in the form of a small-step operational semantics. The specification accurately models the asynchronous nature of web browsers and covers the basic aspects of windows, DOM trees, cookies, HTTP requests and responses, user input, and a minimal scripting language with first-class functions, dynamic evaluation, and AJAX req...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995